一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

聚对苯撑及其衍生物的合成、表征和电性能

从溴苯合成出了聚对苯撑,从对苯二酚合成出了几种聚对苯撑的衍生物：聚（２,５－Ｍ甲氧基）对苯撑,聚（２,５－二乙氧基）对苯撑和聚（２,５－二丁氧基）对苯撑。用ＩＲ表征了中间体和聚合物的结构,测定了聚合物的电导率和伏安特性曲线,并讨论了实验条件对产率的影响。     

火控系统最佳采样率问题的研究

先从滤波器和信号的频域特性出发给出了滤波器在频域的采样率匹配原则。第二部分从滤波器预测误差最小的原则出发导出了一组求解最佳采样时间的方程,并给出部分计算结果。第三部分提出了速度平滑处理法,解决了提高采样率引起的速度估计误差增大的矛盾。随后给出了典型航路下,综合各影响因素的模拟跟踪结果,并与“×型”指挥仪的跟踪结果作了分析对比。最后提出了针对不同空中目标的最佳采样率的建议     

有源噪声控制的新近进展（Ⅱ）

从一般封闭空间、混响声场的有源控制及控制器结构与算法三个方面对有源噪声控制进行了评述,并对今后的研究趋势提出了展望。     

次连续(S)型映射的广义拓扑度

基于Galerkin逼近技巧,本文构造了次连续(S)型映射的广义度,讨论了该广义度的初等性质,并给出了局部有界广义伪单调映射满值性的拓扑证明。     

动目标显示雷达改善因子的自动测试

本文对动目标显示雷达改善因子的自动测试系统进行了研究,给出一种新型的全数字式频率合成器,它能在雷达的中频上叠加频率范围为±70kHz、量化间隔为0.5Hz的多普勒频率。     

雷达角跟踪系统检测的新方法

本文提出了雷达角跟踪系统检测的一种新方法——暂态特性测试法。文中介绍了该检测方法的原理及由CCD摄象传感器件、单片微机等组成的检测设备。分析了实验结果,讨论了提高检测精度的措施。     

目标指示雷达导引炮瞄雷达捕获目标的精度分析

本文研究了情报指挥系统中目标指示雷达导引炮瞄雷达捕获目标的精度问题。结合工程实践分析了影响精度的诸误差因素,在此基础上,建立了目标指示雷达导引炮瞄雷达捕获目标成功率的计算公式,给出了计算结果,并进行了结果分析。     

机动目标跟踪的修正输入估计(MIE)算法与自适应α-β算法

机动目标的跟踪是雷达数据处理中的重要问题,对此进行了探讨的代表性的算法有Singer算法、IE算法、VD算法、IMM算法等。本文提出了修正的输入估计(MIE)与自适应的α—β两种新算法。MIE算法性能与IE算法相当,但运算量比IE算法小。自适应α—β算法的性能略低于以上几种算法,但运算量则大大低于上述几种算法,在对性能要求不很高的情况下,采用这种算法是较为合适的。     

适定的跨音速翼型反设计方法研究

从不可压流反问题的Lightll准确解中可知,翼面压强分布和自由来流速度两者不能同时独立地给定。这意味着对于给定的压强分布存在着一个约束条件,否则,反设计问题就是不适定的。对于可压缩流动,同样应该存在类似的约束条件。本文在这方面做了初步探索,给出了一种满足这种约束条件的跨音速翼型反设计方法。在此方法中,目标压强分布包含一个自由参数,在计算中可调整此参数使压强分布满足本文推导出的正则化条件。